A Correct, Private, and Efficient Mix Network
نویسندگان
چکیده
A mix network achieving strong correctness and privacy is proposed. The degree of correctness and privacy are precisely stated and a formal proof of correctness is given. A grouping function is employed to achieve stronger correctness and higher efficiency without compromising strong privacy. In order to further improve the efficiency of the mix network a new batch verification technique, suitable for verifying multiple proofs of knowledge, is presented together with a formal proof of soundness.
منابع مشابه
A Secure and Efficient Mix-Network using Extended Binary Mixing Gate
A mix-network accepts a set of ciphertexts and outputs the corresponding plaintexts in a random order. It is an important tool in schemes requiring anonymity of messages, such as in secure e-voting and e-auction schemes. A mix-network is comprised of shuffling and decryption operations. A robust mix-network must provide proofs that it shuffles and decrypts its input ciphertexts and outputs thei...
متن کاملNo right to remain silent: Isolating Malicious Mixes
Mix networks are a key technology to provide network anonymity, used for messaging, voting and private lookups. However, simple mix networks are insecure against malicious mixes, which can drop or delay packets to facilitate traffic analysis attacks. Mix networks with provable robustness address this by using complex and expensive proofs of correct shuffling, which come with a cost and make ass...
متن کاملA COMPREHENSIVE STUDY ON THE CONCRETE COMPRESSIVE STRENGTH ESTIMATION USING ARTIFICIAL NEURAL NETWORK AND ADAPTIVE NEURO-FUZZY INFERENCE SYSTEM
This research deals with the development and comparison of two data-driven models, i.e., Artificial Neural Network (ANN) and Adaptive Neuro-based Fuzzy Inference System (ANFIS) models for estimation of 28-day compressive strength of concrete for 160 different mix designs. These various mix designs are constructed based on seven different parameters, i.e., 3/4 mm sand, 3/8 mm sand, cement conten...
متن کاملSamuelson Machines and the Optimal Public-private Mix
Standard economic analysis assumes the sets of public and private goods to be exogenously given. Yet societies very often choose the public-private mix, using resources to convert seemingly private goods into ones with public goods characteristics and vice versa. And, in practice, we see a bewilderingly large variety of public-private mixes across societies. This papers advances an analysis of ...
متن کاملMaking Mix Nets Robust for Electronic Voting by Randomized Partial Checking
We propose a new technique for making mix nets robust, called randomized partial checking (RPC). The basic idea is that rather than providing a proof of completely correct operation, each server provides strong evidence of its correct operation by revealing a pseudo-randomly selected subset of its input/output relations. Randomized partial checking is exceptionally efficient compared to previou...
متن کامل